1. Formal systems specification : the RPC-memory specification case study
پدیدآورنده : Manfred Broy, Stephan Merz, Katharina Spies )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Electronic data processing -- Distributed processing,، Computer networks,، Memory management )Computer science(
رده :
QA
76
.
L28
Vol
.
1169
